Nuprl Definition : mklnk 11,40
mklnk{$a:ut2, $b:ut2, $n:ut2} == <mkid{$a:ut2}, mkid{$b:ut2}, mkid{$n:ut2}> 
latex

Definitions<a, b>, mkid{$x:ut2}
FDL editor aliasesmklnk

origin